extern void a(char *);
int main(int argc, char const *argv[])
{
	static char string[] = "Hello, world!\n";
	a(string);
}